F. Khendek: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS) - Sofia, Bulgaria (2019.7.22-2019.7.26)] 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS) - Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes

Abdollahi Vayghan, Leila, Saied, Mohamed Aymen, Toeroe, Maria, Khendek, Ferhat

Year:

2019

Language:

english

File:

PDF, 281 KB

english, 2019

2

Model-driven process enactment for NFV systems with MAPLE

Mustafiz, Sadaf, Hassane, Omar, Dupont, Guillaume, Khendek, Ferhat, Toeroe, Maria

Journal:

Software & Systems Modeling

Year:

2020

Language:

english

File:

PDF, 3.64 MB

english, 2020

3

A business model for dynamic composition of telecommunication web services

Karunamurthy, R., Khendek, F., Glitho, R.H.

Journal:

IEEE Communications Magazine

Year:

2007

Language:

english

File:

PDF, 105 KB

english, 2007

4

[IEEE 2009 IEEE 69th Vehicular Technology Conference Spring - Barcelona, Spain (2009.04.26-2009.04.29)] VTC Spring 2009 - IEEE 69th Vehicular Technology Conference - The Design and Implementation of a Gateway for IP Multimedia Subsystem/Wireless Sensor Networks Interworking

El Barachi, May, Kadiwal, Arif, Glitho, Roch, Khendek, Ferhat, Dssouli, Rachida

Year:

2009

Language:

english

File:

PDF, 241 KB

english, 2009

5

How does a domestication process modulate oogenesis and reproduction performance in Eurasian perch?

Khendek, Amine, Alix, Maud, Viot, Sandrine, Ledoré, Yannick, Rousseau, Camille, Mandiki, Robert, Kestemont, Patrick, Policar, Tomas, Fontaine, Pascal, Milla, Sylvain

Journal:

Year:

2017

Language:

english

File:

PDF, 1.16 MB

english, 2017

6

[IEEE 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS) - Sofia, Bulgaria (2019.7.22-2019.7.26)] 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS) - Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes

Abdollahi Vayghan, Leila, Saied, Mohamed Aymen, Toeroe, Maria, Khendek, Ferhat

Year:

2019

File:

PDF, 281 KB

2019

7

[IEEE 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - Munich, Germany (2019.9.15-2019.9.20)] 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - MAPLE-T: A Tool for Process Enactment with Traceability Support

Hassane, Omar, Mustafiz, Sadaf, Khendek, Ferhat, Toeroe, Maria

Year:

2019

Language:

english

File:

PDF, 663 KB

english, 2019

8

Automatic configuration generation for service high availability with load balancing

A. Kanso, F. Khendek, M. Toeroe, A. Hamou-Lhadj

Journal:

Concurrency and Computation: Practice and Experience

Year:

2012

Language:

english

File:

PDF, 1.60 MB

english, 2012

9

Bridging the gap between requirements and design: An approach based on Problem Frames and SysML

Pietro Colombo, Ferhat Khendek, Luigi Lavazza

Journal:

Journal of Systems and Software

Year:

2012

Language:

english

File:

PDF, 8.84 MB

english, 2012

10

The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless actuator networks

Hou Rucheng, Belqasmi, F., Glitho, R.H., Khendek, F.

Journal:

IEEE Communications Magazine

Year:

2011

Language:

english

File:

PDF, 252 KB

english, 2011

11

Signaling for multimedia conferencing in 4G: the case of integrated 3G/MANETs

Chunyan Fu, Khendek, F., Glitho, R.

Journal:

IEEE Communications Magazine

Year:

2006

Language:

english

File:

PDF, 129 KB

english, 2006

12

A cross-layer architecture for signaling in multihop cellular networks

Chunyan Fu, Glitho, R., Khendek, F.

Journal:

IEEE Communications Magazine

Year:

2008

Language:

english

File:

PDF, 135 KB

english, 2008

13

The design and implementation of architectural components for the integration of the IP multimedia subsystem and wireless sensor networks

Barachi, M., Kadiwal, A., Glitho, R., Khendek, F., Dssouli, R.

Journal:

IEEE Communications Magazine

Year:

2010

Language:

english

File:

PDF, 255 KB

english, 2010

14

[IEEE Comput. Soc International Conference on Software Maintenance - Montreal, Que., Canada (3-6 Oct. 2002)] International Conference on Software Maintenance, 2002. Proceedings. - A formal approach for software maintenance

Waqar, U., Khendek, F., Vincent, D.

Year:

2002

Language:

english

File:

PDF, 1.09 MB

english, 2002

15

[IEEE 2012 IEEE Symposium on Computers and Communications (ISCC) - Cappadocia, Turkey (2012.07.1-2012.07.4)] 2012 IEEE Symposium on Computers and Communications (ISCC) - Implementing OMA RESTful location services in wireless sensor environments

Islam, Md. Asadul, Belqasmi, Fatna, Glitho, Roch, Khendek, Ferhat

Year:

2012

Language:

english

File:

PDF, 691 KB

english, 2012

16

[IEEE 11th IEEE Symposium on Computers and Communications (ISCC'06) - Cagliari, Italy ()] 11th IEEE Symposium on Computers and Communications (ISCC'06) - Using Web Services for Bridging End-User Applications and Wireless Sensor Networks

Truong Ta,, Othman, N.Y., Glitho, R.H., Khendek, F.

Year:

2006

Language:

english

File:

PDF, 250 KB

english, 2006

17

[IEEE 2007 IEEE Symposium on Computers and Communications - Santiago, Portugal (2007.07.1-2007.07.4)] 2007 IEEE Symposium on Computers and Communications - The Design and Implementation of a Web Service Framework for Individual Nodes in Sinkless Wireless Sensor Networks

Othman, Nuru Yakub, Glitho, Roch H., Khendek, Ferhat

Year:

2007

Language:

english

File:

PDF, 2.21 MB

english, 2007

18

[IEEE 11th IEEE Symposium on Computers and Communications (ISCC'06) - Cagliari, Italy ()] 11th IEEE Symposium on Computers and Communications (ISCC'06) - Signaling for Conferencing in Integrated 3G/Mobile Ad Hoc Networks

Chunyan Fu,, Glitho, R., Khendek, F.

Year:

2006

Language:

english

File:

PDF, 220 KB

english, 2006

19

[IEEE 2013 IEEE Symposium on Computers and Communications (ISCC) - Split, Croatia (2013.07.7-2013.07.10)] 2013 IEEE Symposium on Computers and Communications (ISCC) - A DNS protocol - based Service Discovery architecture for disaster response systems

Hormati, Mohammadmajid, Belqasmi, Fatna, Glitho, Roch, Khendek, Ferhat

Year:

2013

Language:

english

File:

PDF, 979 KB

english, 2013

20

[IEEE 2008 IEEE Vehicular Technology Conference (VTC 2008-Spring) - Marina Bay, Singapore (2008.05.11-2008.05.14)] VTC Spring 2008 - IEEE Vehicular Technology Conference - An Architecture for the Provision of Context-Aware Emergency Services in the IP Multimedia Subsystem

El Barachi, May, Kadiwal, Arif, Glitho, Roch, Khendek, Ferhat, Dssouli, Rachida

Year:

2008

Language:

english

File:

PDF, 292 KB

english, 2008

21

[IEEE 2006 IEEE International Conference on Services Computing (SCC'06) - Chicago, IL, USA (2006.9.18-2006.9.18)] 2006 IEEE International Conference on Services Computing (SCC'06) - A Novel Business Model for Web Service Composition

Karunamurthy, Rajesh, Khendek, Ferhat, Glitho, Roch

Year:

2006

Language:

english

File:

PDF, 146 KB

english, 2006

22

[IEEE 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Xi'an, China (2019.4.22-2019.4.27)] 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Poster: Re-Testing Configured Instances in the Production Environment - A Method for Reducing the Test Suite

Jebbar, Oussama, Saied, Mohamed Aymen, Khendek, Ferhat, Toeroe, Maria

Year:

2019

Language:

english

File:

PDF, 145 KB

english, 2019

23

Modeling and analysis of value added services using message sequence charts

Ferhat Khendek, Tong Zheng

Journal:

Journal of Network and Computer Applications

Year:

2008

Language:

english

File:

PDF, 226 KB

english, 2008

24

FID: feature interaction detection tool

A Sefidcon, F Khendek

Journal:

Microprocessors and Microsystems

Year:

2000

Language:

english

File:

PDF, 113 KB

english, 2000

25

Preface

Rachida Dssouli, Ferhat Khendek

Journal:

Information and Software Technology

Year:

2003

Language:

english

File:

PDF, 62 KB

english, 2003

26

Preface

Rachida Dssouli, Ferhat Khendek

Journal:

Information and Software Technology

Year:

2003

Language:

english

File:

PDF, 64 KB

english, 2003

27

Test cases selection from SDL specifications

C. Bourhfir, E. Aboulhamid, F. Khendek, R. Dssouli

Journal:

Computer Networks

Year:

2001

Language:

english

File:

PDF, 225 KB

english, 2001

28

Time consistency of MSC-2000 specifications

Tong Zheng, Ferhat Khendek

Journal:

Computer Networks

Year:

2003

Language:

english

File:

PDF, 230 KB

english, 2003

29

A Semantics for Timed MSC

Tong Zheng, Ferhat Khendek, Loïc Helouët

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 310 KB

english, 2002

30

Merging behavior specifications

Ferhat Khendek, Gregor V. Bochmann

Journal:

Formal Methods in System Design

Year:

1995

Language:

english

File:

PDF, 1.94 MB

english, 1995

31

Partial order semantics for use case and task models

Daniel Sinnig, Ferhat Khendek, Patrice Chalin

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 1.66 MB

english, 2011

32

Comparison of SPIN and VIS for protocol verification

Hong Peng, Sofiène Tahar, Ferhat Khendek

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 185 KB

english, 2003

33

TURTLE-P: a UML profile for the formal validation of critical and distributed systems

Ludovic Apvrille, Pierre de Saqui-Sannes, Ferhat Khendek

Journal:

Software & Systems Modeling

Year:

2006

Language:

english

File:

PDF, 876 KB

english, 2006

34

From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Abdelouahed Gherbi, Ferhat Khendek

Journal:

Automated Software Engineering

Year:

2009

Language:

english

File:

PDF, 2.17 MB

english, 2009

35

Towards a Common Semantic Foundation for Use Cases and Task Models

Daniel Sinnig, Patrice Chalin, Ferhat Khendek

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 673 KB

english, 2007

36

A novel architecture for Web service composition

Rajesh Karunamurthy, Ferhat Khendek, Roch H. Glitho

Journal:

Journal of Network and Computer Applications

Year:

2012

Language:

english

File:

PDF, 586 KB

english, 2012

37

Test selection based on finite state models

Fujiwara, S., v. Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.

Journal:

IEEE Transactions on Software Engineering

Year:

1991

Language:

english

File:

PDF, 1.44 MB

english, 1991

38

Timed Wp-method: testing real-time systems

En-Nouaary, A., Dssouli, R., Khendek, F.

Journal:

IEEE Transactions on Software Engineering

Year:

2002

Language:

english

File:

PDF, 467 KB

english, 2002

39

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Integrating Legacy Applications for High Availability: A Case Study

Kanso, A., Khendek, F., Mishra, A., Toeroe, M.

Year:

2011

Language:

english

File:

PDF, 325 KB

english, 2011

40

[IEEE Comput. Soc Seventh International Conference on Real-Time Computing Systems and Applications - Cheju Island, South Korea (12-14 Dec. 2000)] Proceedings Seventh International Conference on Real-Time Computing Systems and Applications - Testing embedded real-time systems

En-Nouaary, A., Khendek, F., Dssouli, R.

Year:

2000

Language:

english

File:

PDF, 715 KB

english, 2000

41

[Lecture Notes in Computer Science] Testing of Communicating Systems Volume 3502 ||

Khendek, Ferhat, Dssouli, Rachida

Year:

2005

Language:

english

File:

PDF, 4.04 MB

english, 2005

42

A formal description framework and a matchmaking technique for web service composition

Karunamurthy, Rajesh, Khendek, Ferhat, Glitho, Roch H.

Journal:

International Journal of Web Information Systems

Year:

2010

Language:

english

File:

PDF, 296 KB

english, 2010

43

[IEEE 2008 32nd Annual IEEE Software Engineering Workshop (SEW) - Kassandra, Greece (2008.10.15-2008.10.16)] 2008 32nd Annual IEEE Software Engineering Workshop - Categorizing and Assembling Web Services in a Composition Framework

Karunamurthy, Rajesh, Khendek, Ferhat, Glitho, Roch H.

Year:

2008

Language:

english

File:

PDF, 487 KB

english, 2008

44

The design and implementation of OMA restful location services in wireless sensor environments

Islam, Md. Asadul, Belqasmi, Fatna, Glitho, Roch, Khendek, Ferhat

Journal:

IEEE Communications Magazine

Year:

2013

Language:

english

File:

PDF, 589 KB

english, 2013

45

Comparing redundancy models for high availability middleware

Kanso, Ali, Toeroe, Maria, Khendek, Ferhat

Journal:

Year:

2014

Language:

english

File:

PDF, 916 KB

english, 2014

46

[IEEE 2008 International Conference on Innovations in Information Technology (IIT) - Al Ain, United Arab Emirates (2008.12.16-2008.12.18)] 2008 International Conference on Innovations in Information Technology - Automatic QoS adaptation for composite web services

Qiao, Ming, Khendek, Ferhat, Serhani, Adel, Dssouli, Rachida, Glitho, Roch

Year:

2008

Language:

english

File:

PDF, 403 KB

english, 2008

47

[IEEE 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE) - San Jose, CA, USA (2010.11.3-2010.11.4)] 2010 IEEE 12th International Symposium on High Assurance Systems Engineering - A UML-Based Domain Specific Modeling Language for the Availability Management Framework

Salehi, Pejman, Hamoud-Lhadj, Abdelwahab, Colombo, Pietro, Khendek, Ferhat, Toeroe, Maria

Year:

2010

Language:

english

File:

PDF, 492 KB

english, 2010

48

[IEEE 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS) - Singapore, Singapore (2013.07.17-2013.07.19)] 2013 18th International Conference on Engineering of Complex Computer Systems - Merging Test Models

Mussa, Mohamed, Khendek, Ferhat

Year:

2013

Language:

english

File:

PDF, 145 KB

english, 2013

49

[IEEE 2013 9th International Conference on Network and Service Management (CNSM) - Zurich, Switzerland (2013.10.14-2013.10.18)] Proceedings of the 9th International Conference on Network and Service Management (CNSM 2013) - OpenSAF and VMware from the perspective of high availability

Nikzad, Ali, Khendek, Ferhat, Toeroe, Maria

Year:

2013

Language:

english

File:

PDF, 628 KB

english, 2013

50

[IEEE 2006 IEEE Annual Wireless and Microwave Technology Conference - Clearwater Beach, FL, USA (2006.12.4-2006.12.5)] 2006 IEEE Annual Wireless and Microwave Technology Conference - A Cross-Layer Design Technique for QoS over Optimized Route in MIP

Sefidcon, Azimeh, Khendek, Ferhat

Year:

2006

Language:

english

File:

PDF, 5.45 MB

english, 2006